$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$:RandomVariable($p$;$n$), $F$:($\mathbb{Q}\rightarrow\mathbb{Q}$). ($X$.$F$($X$)) o $X$ $\in$ RandomVariable($p$;$n$)